(TopLevelDecl (FnProto) (Block) @body)
